Nessa máquina nós alimentamos o número descritivo da máquina arbitrária de Turing, M.

Contudo, é microscópico comparado com o número descritivo de máquinas mais complexas de Turing.

Quando alimentada com o número descritivo de M, HE primeiro assume seu modo H e escreve a descrição padrão de M.

Lembremos que a fim de usar a máquina universal, U, temos que alimentar nela o número descritivo deumamáquina específica de Turing, T.